1

WHAT DOES IT TAKE TO PROVE FERMAT'S LAST THEOREM? GROTHENDIECK AND THE LOGIC OF NUMBER THEORY

Année:
2010
Langue:
english
Fichier:
PDF, 1.80 MB
english, 2010
2

The Uses and Abuses of the History of Topos Theory

Année:
1990
Langue:
english
Fichier:
PDF, 2.87 MB
english, 1990
4

Numbers Can Be Just What They Have To

Année:
1993
Langue:
english
Fichier:
PDF, 1.38 MB
english, 1993
5

Category Theory in Real Time

Année:
1994
Langue:
english
Fichier:
PDF, 470 KB
english, 1994
6

FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS

Année:
2013
Langue:
english
Fichier:
PDF, 75 KB
english, 2013
10

Defining sets as sets of points of spaces

Année:
1988
Langue:
english
Fichier:
PDF, 895 KB
english, 1988
13

THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE ORDER ARITHMETIC

Année:
2019
Langue:
english
Fichier:
PDF, 583 KB
english, 2019
14

Axiomatizing a Category of Categories

Année:
1991
Langue:
english
Fichier:
PDF, 1.55 MB
english, 1991
15

Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works

Année:
2005
Langue:
english
Fichier:
PDF, 106 KB
english, 2005
16

Mathematics: Form and Functionby Saunders MacLane

Année:
1987
Langue:
english
Fichier:
PDF, 151 KB
english, 1987
19

What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory

Année:
2010
Langue:
english
Fichier:
PDF, 200 KB
english, 2010
23

Anti-foundation and self-reference

Année:
1993
Langue:
english
Fichier:
PDF, 533 KB
english, 1993
24

Richard courant in the german revolution

Année:
2001
Langue:
english
Fichier:
PDF, 969 KB
english, 2001
25

Exploring Categorical Structuralism

Année:
2004
Langue:
english
Fichier:
PDF, 942 KB
english, 2004
27

Categorical Foundations and Mathematical Practice

Année:
2012
Langue:
english
Fichier:
PDF, 45 KB
english, 2012
28

La notion de nombre chez Dedekind, Cantor, Frege: Theories, conceptions, et philosophieby Jean-Pierre Belna

Année:
1998
Langue:
english
Fichier:
PDF, 427 KB
english, 1998
30

Poor Taste as a Bright Character Trait: Emmy Noether and the Independent Social Democratic Party

Année:
2005
Langue:
english
Fichier:
PDF, 326 KB
english, 2005
31

Failure of Cartesian closedness in NF

Année:
1992
Langue:
english
Fichier:
PDF, 228 KB
english, 1992
32

IGF-I and breast cancer: A meta-analysis

Année:
2004
Langue:
english
Fichier:
PDF, 88 KB
english, 2004
33

The essentials of value chain implementation in small and medium sized enterprises

Année:
2005
Langue:
english
Fichier:
PDF, 143 KB
english, 2005
34

Left exact logic

Année:
1986
Langue:
english
Fichier:
PDF, 206 KB
english, 1986
35

Silicon-carbide high-voltage (400 V) Schottky barrier diodes

Année:
1992
Langue:
english
Fichier:
PDF, 282 KB
english, 1992
38

Electrical properties of thermal oxide grown on n-type 6H-silicon carbide

Année:
1994
Langue:
english
Fichier:
PDF, 484 KB
english, 1994
39

Learning from Questions on Categorical Foundations

Année:
2005
Langue:
english
Fichier:
PDF, 117 KB
english, 2005
40

'Mathematical Platonism' Versus Gathering the Dead: What Socrates teaches Glaucon

Année:
2005
Langue:
english
Fichier:
PDF, 129 KB
english, 2005
41

Elementary Axioms for Canonical Points of Toposes

Année:
1987
Langue:
english
Fichier:
PDF, 333 KB
english, 1987
42

Faulkner's Last Days

Année:
1985
Langue:
english
Fichier:
PDF, 671 KB
english, 1985
45

Real Numbers, Generalizations of the Reals, & Theories of Continuaby Philip Ehrlich

Année:
1999
Langue:
english
Fichier:
PDF, 126 KB
english, 1999
46

Raymond J. Nelson 1917-1997

Année:
1997
Langue:
english
Fichier:
PDF, 303 KB
english, 1997
47

Investigation of thermal control for different SOFC flow geometries

Année:
2016
Langue:
english
Fichier:
PDF, 3.39 MB
english, 2016